#include<stdio.h>

int main(void)
{
	int computer,math,english;
	float average;
	
	scanf("%d%d%d",&math,&english,&computer);
	
	average=1.0/3*(math+english+computer);
	
	printf("%.2f",average);
	
	return 0;
}
